%\documentclass [cropmarks, frame, english, phd]{idaexhibitpage} \crop[noinfo]
\documentclass [english, phd]{idaexhibitpage}
\usepackage [latin1]{inputenc}
\usepackage{times}

\isbn {978-91-7393-102-1}
\author {\bfseries Soheil Samii}
\thesisnumber {1386}
%\titleswedish {SWEDISHTITLE}
\titleenglish {\bfseries Quality-Driven Synthesis and Optimization of Embedded Control Systems}
\degreetype {teknologie}
\presentationplace {sal Visionen}
\presentationhouse {hus B}
\presentationtime {fredagen den 23:e september 2011, klockan 13.15}

\abstract{
This thesis addresses several synthesis and
optimization issues for embedded control systems. Examples of such
systems are automotive and avionics systems in which physical
processes are controlled by embedded computers through sensor and
actuator interfaces.  The execution of multiple control applications,
spanning several computation and communication components, leads to a
complex temporal behavior that affects control quality. 
The relationship between system timing and control quality is a key
issue to consider across the control design and computer
implementation phases in an integrated manner. 
We present such an integrated framework for scheduling, controller
synthesis, and quality optimization for distributed embedded control
systems.\\[5pt]
%
At runtime, an embedded control system may need to adapt to
environmental changes that affect its workload and computational
capacity. 
Examples of such changes, which inherently increase the
design complexity, are mode changes, component failures, and 
resource usages of the running control applications.  For
these three cases, we present trade-offs among
control quality, resource usage, and the time complexity of design and
runtime algorithms for embedded control systems.\\[5pt]
%
The solutions proposed in this thesis have been validated by extensive
experiments. The experimental results demonstrate the efficiency and
importance of the presented techniques.\\
}

\supportedby {The research presented in this thesis has been
  funded by CUGS (the National Graduate School in Computer Science in
  Sweden) and by ELLIIT
  (Excellence Center at Link\"oping--Lund in Information Technology).}
\newcommand {\issn }{0345-7524}
\begin {document}
\exhibitpage 
\end {document}
